| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Algorithmic Foundations of Datascience | Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 585082 | ||
| Algorithmic Foundations of Data Science | Übung | 579319 | Mi 12:30-14:00 AH I (2350|028) (×15) | |||
| Algorithmic Foundations of Data Science | Vorlesung | 579330 | Di 16:30-18:00 AH I (2350|028) (×15) Do 14:30-16:00 AH I (2350|028) (×15) | |||
| Formal Methods for Logic Control Software | Formale Methoden für Steuerungssoftware (WS) | Fach-/Modulprüfung | 6 | 581490 | Do 25.02.2027 11:00-13:00 Do 25.03.2027 11:00-13:00 | |
| Formale Methoden für Steuerungssoftware (Übung) | Fach-/Modulprüfung | 583282 | ||||
| Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 577180 | Di 10:30-12:00 3220|259 (×13) Do 10:30-12:00 3220|259 (×13) | |||
| Foundations of the UML | Theoretical Foundations of the UML | Fach-/Modulprüfung | 6 | 585104 | ||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 585086 | Fr 12.02.2027 16:30-18:30 PPS H1 (2315|101) Roter Hörsaal AM (Ro) (1420|002) Mi 10.03.2027 12:00-14:00 TEMP1 (1515|001) | |
| Introduction to Model Checking | Übung | 577398 | Fr 12:30-14:00 AH I (2350|028) (×15) | |||
| Introduction to Model Checking | Vorlesung | 578334 | Mi 14:30-16:00 AH I (2350|028) (×15) Do 16:30-18:00 AH I (2350|028) (×15) | |||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 582368 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 578303 | Mo 10:30-12:00 AH V (2356|050) (×13) Mi 14:30-16:00 AH V (2356|050) (×14) Fr 14:30-15:15 5056 (2356|056) (×14) | |||
| Theory of Distributed Systems | Theory of Distributed Systems | Fach-/Modulprüfung | 6 | 583876 |